21. Design Thinkin
Author: / [electronic resource]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic books,Creative Ability In Business,Creative Thinking,Organizational Change,Industrial Management,System Design,Business & Economics, Personal Success,Self-help, Creativity,Business & Economics, Organizational Development,Business & Economics, Industrial Management,Computers, Software Development & Engineering, Systems Analysis & Design
Classification :
HD58
.
8


22. Design Thinkin Understand - Improve - Apply
Author: / [electronic resource]
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Electronic books,Creative Ability In Business,Creative Thinking,Organizational Change,Industrial Management,System Design,Business & Economics, Personal Success,Self-help, Creativity,Business & Economics, Organizational Development,Business & Economics, Industrial Management,Computers, Software Development & Engineering, Systems Analysis & Design
Classification :
HD58
.
8


23. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758


24. Enterprise architecture for integration :
Author: Clive Finkelstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer software-- Development.,System design.,Computer architecture.,Computer software-- Development.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System design.
Classification :
QA76
.
9
.
S88
F527
2006eb


25. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb


26. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb


27. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5


28. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb


29. Handbook of dynamic data driven applications systems
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: علم رایانه,Computer Science,علم الحاسوب,طراحی سیستم,System design,کامپیوترها,Computer simulation, -- شبیهسازی,a03,a03,a03,a06,a06,a08,a08,Systems Analysis & Design; ,Simulation and Modeling; ,Systems Theory, Control; ,Models and Principles.

30. Handbook of research on modern systems analysis and design technologies and applications /
Author: [edited by] Mahbubur Rahman Syed, Sharifun Nessa Syed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Handbooks, manuals, etc.,System design, Handbooks, manuals, etc.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System analysis.,System design.
Classification :
T57
.
6
.
H3634
2009eb


31. Handbook of research on socio-technical design and social networking systems /
Author: Brian Whitworth, Aldo de Moor, [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.,COMPUTERS-- Information Technology.,Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.
Classification :
HM742
.
H37
2009eb


32. High Performance Computing in Science and Engineering '99
Author: edited by Egon Krause, Willi Jäger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.

33. Hybrid parallel execution model for logic-based specification languages /
Author: Jeffrey J.P. Tsai, Bing Li.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages.,System design.,Computer hardware description languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,System design.
Classification :
TK7885
.
7
.
T73
2001eb


34. Information Systems Engineering :
Author: by Arne Sølvberg, David Chenho Kung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Software engineering.
Classification :
T58
.
5
B937
1993


35. Information systems :
Author: Stanisław Wrycza, Jacek Maślankowski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses.,System design, Congresses.,Business Information Systems.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Software Engineering.,Business mathematics & systems.,Computers-- Database Management-- Data Mining.,Computers-- Enterprise Applications-- Business Intelligence Tools.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Data mining.,Information retrieval.,Software Engineering.,System analysis.,System design.
Classification :
QA402


36. Job scheduling strategies for parallel processing :
Author: Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
58


37. Knowledge-based systems :
Author: edited by Cornelius T. Leondes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Knowledge management.,Gestion des connaissances.,Systèmes experts (Informatique),COMPUTERS-- Expert Systems.,Expert systems (Computer science),Gestion des connaissances.,Knowledge management.,Systèmes experts (informatique)
Classification :
QA76
.
76
.
E95
K5559
2000eb


38. Learning Continuous Integration with Jenkins. :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Jenkins (Software development tool),Jenkins (Software development tool),Computer software-- Development.,Computer programming-- software development.,Computer software-- Development.,Computers-- Software Development & Engineering-- Quality Assurance & Testing.,Computers-- Software Development & Engineering-- Tools.,Computers-- Systems Architecture-- Distributed Systems & Computing.,Distributed systems.,Software testing & verification.
Classification :
QA76
.
73
.
J45
.
P384
2017eb


39. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67


40. Managing corporate information systems evolution and maintenance /
Author: Khaled M. Khan, Yan Zhang [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information resources management.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatiemanagement.,Informatiesystemen.,Information resources management.
Classification :
T58
.
64
.
M353
2005eb

